<html>
<body>
<p>Replaces <code>Some(a)</code> with <code>Option(a)</code>.</p>
</body>
</html>